fixing a wrong spec