chiark / gitweb /
Minor fixes in how the engine is called due to engine updates.