Fixes #5.1