Minor streamline of prompt()