LP#1315531 Ben Shum pointed out an error, which I have now corrected.