Fixes in logic