Small comment fix
Merge pull request #4850 from timvandermeij/comment-nit

Small comment fix