Fixes #731