Sockeye: Better error messages for checker