Fix double assignment in Pre