small changes in spec