minor adjustment to prior commit (#5720)