Remove redundant `Val`; thanks to Nils for pointing it out.