Bug fixes: VAL