micro-commit #1 - still tweaking Jenkins