[master]: fixing a mistake in the spec