fixed some bugs in Vnudot