yes, it's not needed (see debd079).