Fix porting porting mistake in ISPN-3357