fix docs on dynamips