Some bug fixes in the runtime and the tools