Commit ee09c8616360880def9e0e95a4c6fd56a5202a96

Werner Lemberg 2012-08-23T14:50:00

[psnames] Formatting.