minor html corrections