Add a few uncommitted files (left out by mistake in June)