Fixes to va alias.