Fixes suggested by clang-tidy#867

jhenin wants to merge 1 commit into

clang-tidyColvars/colvars:clang-tidyfrom

clang-tidy-fixesColvars/colvars:clang-tidy-fixesCopy head branch name to clipboard