Include a definition in the example per bug fix