Add comment indicating a bug