Minor bugfix so that checker compiles