packages typechecking added (logs are not removed