Fixed a little git hickup(?)