Agreed, fixing as per #2274.