This comment is now stale as the following block was removed.