doc: removed extraneous dot