Fixed minor translation bug in comments.