slight bugfixes in compiler