Using ReplaceAll to Change an Element's Subtree