Minor semantic tweak to bug-compatibility modes: make