Should lines 13-15 be indented? It seems weird to have them flush against the left side like that.