A very slight, mainly aesthetic simplification