Michael development -- small typo fix

I'm just exploring the new dev portal and how everything is organized. I'm not sure if you use branches for development flow or just pushing straight to master, so I put this in a development branch and am sending a pull request to be merged; it's just a mini typo fix.