Tiniest fix
Merge pull request #58 from robert-chiniquy/rch/tiniest-fix

Tiniest fix