Fix bug in 'difference'