corrected bug in Portfile