Make the license header shorter