Fix for three small bugs:#3

pranomostro wants to merge 1 commit intoICSE19-FAST-R:masterICSE19-FAST-R/FAST-R:masterfrom

pranomostro:various_small_bugspranomostro/FAST-R:various_small_bugsCopy head branch name to clipboard