utop 1.7
Merge pull request #952 from diml/master

utop 1.7