minor Executable spec rewrappings