Fixed name problem

I should test small patches rather than typing them straight into the github online editor...