Fix compilation issue #1