Minor  fixes on joopl-analyzer