Remove double ampersands in header.

Is this actually supposed to be double ampersands as some kind of in-joke since build processes are often chained with the shell operator `&&`? :)