empty_scope moved to options