Misc. minor fixes.