unrelated fix that was already in master.