removed some imprecisions