added some specification