bug fix introduced by previous commit