issue #2433:compile error