Remove another use of the comma operator

This one was well hidden...