in truth, I guess these should probably be const, but it isn't super-important right now.