PinCOL: bugfixes

minor bugfixes