Padre 0.72 bug