tiny code format change (1 line)