fix leaks in bocla3 spec