Fixes #207.