Minion fixes
Merge branch 'pim'
Merge branch 'master' of https://github.com/pimotte/EWI3620TU-GROUP11
Merge branch 'master' of https://github.com/pimotte/EWI3620TU-GROUP11