A few minor changes to modules section