Fixes #1.