r5232: *** empty log message ***