small fix #632