Corrections to 0b18b7a.