fixed #1013
updated some minos
minor
Fixed #540
Merge pull request #1143 from EPuncker/master

fixed #1013