Fixes #16.