One superfluous pattern removed