--- a/src/gui_actions.cc	Fri Dec 20 04:05:36 2013 +0200
+++ b/src/gui_actions.cc	Fri Dec 20 13:35:08 2013 +0200
@@ -679,7 +679,6 @@
 	// If this the parent document isn't already in s/, we need to stuff it into
 	// a subdirectory named s/. Ensure it exists!
 	str topdirname = basename (dirname (getCurrentDocument()->getFullPath()));
-	dlog ("topdirname: %1", topdirname);
 
 	if (topdirname != "s")
 	{	str desiredPath = subdirname + "/s";