Tweak to FunctionalSpec.