[#75738702] minor style change