Fixes #937