Public laws, 87th Congress. 800. H.R. 9491, act to provide for removal of encumbrance on title of certain real property heretofore conveyed to Board of Education of Vallejo School District, Vallejo, Calif., by United States Housing Corporation.