Better logging and fixed set difference computation