Fix bug in comment