Correction to commit e7ab4f6