fix comment (fix #529)