Fixed JavaDoc typo

Today is "JavaDoc typo"-day!