Fix messed up JavaDoc