Flush prompt.
Cleaned up headers a bit.
Minor cleanups.