Two fixes for licensing details in phpMyAdmin.