actually, no point in printing $other_options at all since it is hard
coded.