eliminate a compiler warning introduced in dd02f853.