Bug 6237: remove compile time warning