Manual fixup as auto SHA stamping got broke.