Stefan Becker - 2014-09-05

This should be fixed by git commit 32ff1c0

CLOSING