bug fixes from last year's lecture in intro