Minor fixes for intro3