Reformat to Seam style

This is just adding two commits: one to update the versions, one to reformat the code.