Slight modofication of semiclassical propagator.

NOTE: We should make this setting a configuration parameter.