Fixes #5.
Fixes #5