Small correction of proposed change by j256