fix bugs that were found in the process of using library in Voved