Fix error where val and aux weren't being terminated properly.
Fix error where val and aux weren't being terminated properly.

MinasMazar/dino,MinasMazar/dino,Carmer/dino,austinbv/dino,smalruby/smalrubot,smalruby/smalrubot,Carmer/dino,austinbv/dino