ttt-engine: removed extraneous `E:'