Why is this a `dl` rather than a `ul`? The elements inside appear to suggest it should be a `ul`