fixing #712