minor fix
Merge pull request #406 from fgiannar/develop

minor fix