Improving formatting of the gpl-v3 license