#642 minor fix