Changed spec doc lines to assertive form