nicer names for options