Remove erroneous tilde in postimagediv. #31