Hi Thomas,

I agree that this is a bug. Thank you for reporting it. I have logged it here: https://www.pivotaltracker.com/story/show/178273084. Your analysis of the problem looks pretty good, too. I hope we will be able to rectify it soon.

Jonathan