Tiny correction
Merge pull request #1080 from arnaldorusso/master

Tiny correction