Add some missing crossreferences