Minor, but important bug fix