Fixing copyright headers, see ##287