Remove redundant lines

The lines were added in 341827262c2179a994f55b37d6c6975032648993.
Reported by Beat Bolli.