adding a dot after a short description according to @WouterJ