More pretty printing; bump xiaoping.