Fixes #539