Fix recording the location of checker definitions
Fix footer