Bugfix : indentation of type definitions in records