Fixing a problem I found while exploring some possible changes.