Correction: better performance numbers