fixed: Little fixup for 94817e6fa85e2e0b39d1f0f96795435a4256fe7b (thanks JM)