Slight revision of style guidelines