html: remove a needless period