Minor fixes to VICE