A bug I found in django migrations?