Minor fix to example GHC plugin in the documentation