adapted to Version 13.12.11
adapted to Version 13.12.11
formal changes
useless comments removed