Fix #675
Merge pull request #676 from jhotovy/master

Fix #675