fixed style of previous check-in, #1732