Minor fixes to covenant