Added another simple case to the specification.