comment out Xdoclint option