.. similar to #1935.
.. similar to #1935.