Fixing a couple of nits mentioned in the session today