Simplification noticed by Frits.