Clarified a comment, fixes #73.