Whoops, thanks!

Fixed in c0f716b2e5ce7bd36baf812e8b6175a65bb1097e, see #2548.