fixes to stop_modules()
fixes to https everywhere