Fixed an issue with numerical verification.