diff --git a/src/system/kernel/elf.c b/src/system/kernel/elf.c
index 476842bfec..ae7f99c3bf 100644
--- a/src/system/kernel/elf.c
+++ b/src/system/kernel/elf.c
@@ -546,7 +546,8 @@ elf_resolve_symbol(struct elf_image_info *image, struct Elf32_Sym *sym,
 			// it's undefined, must be outside this image, try the other image
 			sym2 = elf_find_symbol(shared_image, new_symname);
 			if (!sym2) {
-				dprintf("!sym2: elf_resolve_symbol: could not resolve symbol '%s'\n", new_symname);
+				dprintf("\"%s\": could not resolve symbol '%s'\n",
+					image->name, new_symname);
 				return B_MISSING_SYMBOL;
 			}
 
diff --git a/src/system/kernel/team.c b/src/system/kernel/team.c
index 496d7f9555..e518048c4b 100644
--- a/src/system/kernel/team.c
+++ b/src/system/kernel/team.c
@@ -1173,7 +1173,7 @@ exec_team(int32 argCount, char **args, int32 envCount, char **env)
 	struct thread *thread;
 	thread_id nubThreadID = -1;
 
-	TRACE(("exec_team(path = \"%s\", argc = %ld, envCount = %ld)\n", args[0], argCount, envCount));
+	TRACE(("exec_team(path = \"%s\", argc = %ld, envCount = %ld): team %lx\n", args[0], argCount, envCount, team->id));
 
 	// switching the kernel at run time is probably not a good idea :)
 	if (team == team_get_kernel_team())
@@ -1301,7 +1301,7 @@ fork_team(void)
 	status_t status;
 	int32 cookie;
 
-	TRACE(("fork_team()\n"));
+	TRACE(("fork_team(): team %lx\n", parentTeam->id));
 
 	if (parentTeam == team_get_kernel_team())
 		return B_NOT_ALLOWED;