Minor
Fix for #17