More work on prettifying