No need for the `as HashMap`