[BUG #6031] Minor formating