trivial fixes to silence man warnings