probably a bug fix, but just making sure