They already are. Hooray for Githubs dodgy showing of indentatition