Remove an unnecessary print (issue #17).