modified specification