making dspec a little bit nicer