small changes in text
fixed a bug introduced with the new <theme> option