Correction to 9b89183bc0677 ?