Small change, mainly to test that indeed development log is no longer tracked by git