documented spec module
documented declration module, fix bug