Better support for (default) in HTML guide