#16245 fix formatting