Syntax error in truth_spec template