sm: minor changes to header