Adding comments to specification