correcting a bug