Corrected log info
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master
Merge branch 'pre-master' of github.com:loerum/mipp into pre-master