praga bug fix