#459: bug fix