fixing bugs
Merge branch 'master' of https://github.com/nachosgrande/System-Prototype
Merge branch 'master' of https://github.com/nachosgrande/System-Prototype
Merge branch 'master' of https://github.com/nachosgrande/System-Prototype
adding getDest() fix