I didn't realize this mistake in c16728f5, released in 3.2.0.
It was fortunate that postrules have been rarely used so far.