Insignificant misc. corrections