Issue #3427: correct a small mistake

correct a small mistake