a couple of small oops fixes