Fix up ‘^^’→‘^’ conversion in game VM code.