Improve specification; fix typo