Fixed Haddock issue

Cherry-picked from 6b06779a2c13257bfcc1bd1816a72f1f4846da36

Conflicts:
	src/full/Agda/TypeChecking/Rules/Term.hs
Merge remote-tracking branch 'origin/master'