repaired a little mistake included in commit #380
Merge pull request #384 from diethard2/master

repaired a little mistake included in commit #380