Fix #747

There is also a fix for a tag that was not closed properly in the navbar.