Fixes #548