some small fixes to vignette infra