minor bugfixes in FOL