Correct the name 'debrujin' to be 'debruijn'