Fixes #572