Added some addenda.