Do not use return in void methods
Fix typo in checker.cpp