Issue 38. Correct Javadoc of SpiceManager.execute.