As the title says, this fixes the bug reported by quidam some hours ago in IRC :)
Pull-Request has been merged by quidam
As the title says, this fixes the bug reported by quidam some hours ago in IRC :)