fix #569

just a minor stuff