small updates in the analyzer