Make vint happy