kral theme: Changed prompt.