updated specification doc