Fix spelling of 'HaveOccured'

This addresses #9.