Fix mistake I made whilst editing on Github