bug fix (introduced by me earlier today)