fixes #572