This file was documenting an older version of patch 0ac5ad51; update
it to match what was really committed

Author: Florian Pflug