Bugfix in wval