The of in the comment is unintended.  Should I change it and push the update?