Small error in a comment