Commit 3784b538 authored by Andreas Marek's avatar Andreas Marek

Fix error from commit 5d359402

parent 08ad69dd