You just have to love JKR.