Some minor debugging

see above