Fix some specification.