Remove superflous argument in implementation of val