Fixes in oqs-validator.js