another minor bug fix (why does this always happen...)