Small fixes: indentation, link and highlighting