Comment of the J.P. Manocha record card