Make the two grammar rules actually equivalent