Fixes #617