Typo in JavaDoc header fixed