Proper module names in Discussion