Fixed the indentation of the prompt interface documentation.
Authored by: bugman 2008-10-07
Parent: [r7548]
Child: [r7550]