Correcting a bug