I inadvertently posted this with the same title as the bug I reported. Sorry for any misunderstanding.