Minor fixes
Merge pull request #1 from andreaceccanti/patch-1

Minor fixes