Unreviewed trivial warning fix.