* registry.py: Fixed bug #436982 again (Patch from Eitan)