Minor edit. Fighting with git...