Minor simplification to exp_rotation().