Issue #85: Fix test basic/test_module_attributes.py.