A change I made on the GitHub site