Fixed issue #874 (javadocs)