01: Small comment change

This also fixes a typo.