Fixed small mistake in HTML introduced by last commit.