More on types and some formatting