Modified JavaDoc slightly.