nyaya: small fixes