Why didnt our gofmt checker catch this?