Little bugfix for 6b90d63faa673e0f2237e1747ff9cda2e5e90afe