diff --git a/src/pc/relic_pc_util.c b/src/pc/relic_pc_util.c
index bd799675e..521a5f8e4 100644
--- a/src/pc/relic_pc_util.c
+++ b/src/pc/relic_pc_util.c
@@ -113,16 +113,16 @@ int g1_is_valid(const g1_t a) {
 				case EP_B12:
 				case EP_B24:
 				case EP_B48:
-					/* Check [\psi(P) == [z^2 - 1]P. */
+					/* Check [\psi^2(P) == [-z^2]P. */
 					g1_mul_any(u, a, n);
 					g1_mul_any(u, u, n);
 					if (ep_curve_is_pairf() == EP_B24) {
-						/* Check [\psi(P) == [z^4 - 1]P. */
+						/* Check [\psi^2(P) == [-z^4]P. */
 						g1_mul_any(u, u, n);
 						g1_mul_any(u, u, n);
 					}
 					if (ep_curve_is_pairf() == EP_B48) {
-						/* Check [\psi(P) == [z^8 - 1]P. */
+						/* Check [\psi^2(P) == [-z^8]P. */
 						g1_mul_any(u, u, n);
 						g1_mul_any(u, u, n);
 						g1_mul_any(u, u, n);