minor changes, recoloring of the F* listings