Clean up to avoid error in JavaDoc