small fix
Merge pull request #556 from ffrensch/master

small fix