key_commit: tweaks for beavers statement