Fixes #928