Sorry about that. I've fixed and committed, although I'm still new to Github. Did I do it right? :-)