I fixed this as you suggested, and also took the opportunity to change the 'bugs' url below to JIRA rather than github.