added markup to declarations
fixed deletion bug in declarations function
treaty update side-effect