diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index c7b4b21fc87..4c87d955c5e 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2014-12-18  Doug Evans  <xdje42@gmail.com>
+
+	* infcmd.c (jump_command): Minor simplification.
+
 2014-12-18  Doug Evans  <xdje42@gmail.com>
 
 	* language.c (language_lookup_primitive_type): Renamed from
diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index de0d24dda87..9d0a527bacf 100644
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@@ -1199,9 +1199,12 @@ jump_command (char *arg, int from_tty)
 
   if (sfn != NULL)
     {
+      struct obj_section *section;
+
       fixup_symbol_section (sfn, 0);
-      if (section_is_overlay (SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (sfn), sfn)) &&
-	  !section_is_mapped (SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (sfn), sfn)))
+      section = SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (sfn), sfn);
+      if (section_is_overlay (section)
+	  && !section_is_mapped (section))
 	{
 	  if (!query (_("WARNING!!!  Destination is in "
 			"unmapped overlay!  Jump anyway? ")))