Fixes to introduction

`.`->`:`