update spec in light of the work on #700