Small correction to commit:891431fffe