Nyagua 5.1.2 released

Hello everyone.
I've just released Nyagua v. 5.1.2. It implements some minor bug fixing in sorting and in some labels.