@User: I have now fixed this in the repository, so it should not be an issue in the future. Thanks for bringing it to my attention.