Kleiner Bugfix für JavaDoc.