Rewrite into a proper extension