record: small cleanup
Small cleanup that were not necessary for the critical path of my recent change, but that still seems useful.
Edited by Pierre-Yves David
Small cleanup that were not necessary for the critical path of my recent change, but that still seems useful.