Fix tie, add module header comments.