Comments by xvipspace