Fixing a compilation issue due to the last local merge that introduced this error
Merge pull request #58 from alvarog/master

Fixing a compilation issue due to the last local merge that introduced t...