Fix a link

Also some code style changes