More HTML tweaks.