Just pushed a fix