Some fixes on the intro to profiling (thanks, /u/john_m_camara)!