minor bug fix that made the whole thing not work