Fixes #5.