fixes HEADS-project/heads_ide#19