formal changes; description improved; avoid JavaScript exceptions