Small fixes to SEC