Fix print_usage_text temporarily?