Oh. Sorry for that! It's just Github's editor feeling silly :)