Fixed strange formatting in COPYING