typo fix. wrote some functional specification