Minor formatting of ps03