This is the case described in #5003 .