made it work in 0.13.1