Small improvement in Shielded.Commit.