Fix incorrect bug id in comments; fixed #25, not 24