small fixes to akoma ntoso