G goffi 14. 7. 2019 13:30 This is probably fixed, keeping the ticket open for a little while to be sure.