Minor fix to the typing rules of method calls