Fixes #58 (editorial issues in intro)