Additional fix for OPENDJ-1572