minos improvements
Merge pull request #16 from lerovitch/master

minor improvements