add some prettifications