fix trivial compile errors found by randomconfig run
3 files changed