Re #9466. Quieting windoze compiler warning.