minor
Merge pull request #941 from EPuncker/master

minor