actually, since this is not exported, this is probably fine as is.