Fix broken JavaDoc comment