Fixes Init#_outputIntroduction() specification