Minor
Minor fixes
Fixes #180.