Minor fixes and extensions for fologic