Fixed with commit [ced0a69b39]. Closing the ticket.