Fix note on felix's benchmarking advice