minor improvement
Merge pull request #100 from jgerhards/master

minor improvement