small trivial fixes