Minor correction
Merge pull request #906 from Skillert/minor

Minor correction