// fix scroll_if_anchor()