fixed bugs in wddl_rtl