yup, it's a bug in VCC