More specs for user_agent option