JavaDoc slightly updated