Note that this specializes correctly.