Resolved (see above).