lamport-me: refactor/fix release function