Fix type of va-buchanan