Small error fixes
Small fixes
Fixed #42
Merge branch 'master' of github.com:FPtje/Falcos-Prop-protection
Merge branch 'master' into faster
Merge branch 'faster' of github.com:FPtje/Falcos-Prop-protection into faster