web commit by UlrikSverdrup: minor: rm duplication