Rename specifications according the resolution made in issue #178