oops; fix stupid bug