fix #343 nit-picky comments

fix as PR #343 commented