I filed bug #1528297 to track this issue separately, now that the original issue reported here has been fixed.
I filed bug #1528297 to track this issue separately, now that the original issue reported here has been fixed.