fix broken JavaDoc