Remove repeated names in a file's licence header.

--------------------------------------------------------
A small fix. This is the only IFS-licensed file with a mistake like this.