Fix merge mistake when rebasing for PR #1169

Apologies - I just spotted this when diffing my master against minetest's. I must have messed up when I was squashing all the commits for that pull request. Not that it's likely to make a big difference, but for the sake of accuracy this is correct.