Corrected syntex error causing false type inference