Fix build, noticed by Carlos Jacobo Puga Medina