We can delete this comment now. Also, we should probably add "_"s before these functions to fit our usual style.