another trivial UI change to experiment with git