Fix copyright headers
Sane definition for <code>