added some pastek syntax precisions