Fixes #3 .