Patch applied in commit 179bb57d2532ee6b81791e078b0f782cbf88cb84, closing the bug. Thanks, Juliana! Andreas