Add comment to warn about a bug