Removed in #1723.