this should probably be `num` for consistency w/ the rest of the code