Fixes #622, added as a separate commit to avoid addition committed files. Thanks GianlucaGuarini