Yup - you're right.

Shouldn't have used the Github online editor and instead directly pushed from my local installation, would have prevented that copy paste fail. Thanks!