fixed typo in PORTE assignment