Followup of previous change: formatting fix

Anupam Basu 2024-10-23 22:56:56 -05:00
commit 7dcafa0080