small, unimportant bug fix