To r617 : bug fixes