Little polish in the comments