This comment has since been deleted.