Minor changes following the ILIAS discussion.