Another stylistic change for pretty print