Three small patches for the runtime. I ran tests on linux/x86-64.
Thanks, pushed as 617c16814f6d554d536e1a3992f7afdb85b5de79
Bug watches keep track of this bug in other bug trackers.
Thanks, pushed as 617c16814f6d554 d536e1a3992f7af db85b5de79