misc fixes regarding types and priting