Comments observing a bug in code