4891f1183d
Motivation: We had an error in the javadoc which was most likely caused by copy and paste. Modifications: Fix javadoc. Result: Correct javadoc.