minor changes to SEE