It seems correct. I gofmtted it before the commit.