Fixes #514