Properly set graceful_term option