See also ticket [77de516a1f].