minor spacing change in the copyright header comment