fix #3978 (even though code suggests this is actually what should happen...)