correcting bug a propos