fixes #623