Manually copying changes over from Devel branch :/

Thought I'd use the OS X GitHub app to commit changes to the Develop branch rather than copying the changes manually, but it ended up committing to the master branch. So now I have to manually copy this over instead!