fix issue #11 in HEADS-project/heads_ide