Fix compilation issue #3443