removed no longer used pretty print function