Add GPLv3 short license where it missed