Bug #4741 : code formatting