Fix greeting string. Fixes #690