Fix for a local bug.