Correction for 4.9 by Phillinger