seems redundant, but probably doesn't hurt?