Modifying example into term server.