fix declaration of discreteness