Fixes #923