Fix minor mistakes in Division of labour #93