correction to point free form