Forcing vector size, to work around a bug