This function doesn't need to be documented, since it is for internal use only.