fix for PLINK-617