bugfixes while adapting wals3 to new API