Misc. refinements.