added something in specification file