a few updates to introductory module