fixes #640