BUG seems resolved. Voilà.