minor updates, prompt is not based on sorin theme anymore