silence a gcc warning (fixes up baffd44e9701bf472f6392eefd5608f916801206)