Fixes #527