Typo (our defined check_output doesn't need a list)