Fix overzealous pattern match in CRL code and update comment