Minor fixes, '--no-greeting' option