diff --git a/src/common/kernel/save.c b/src/common/kernel/save.c
index f72a8d5d1..eb6020476 100644
--- a/src/common/kernel/save.c
+++ b/src/common/kernel/save.c
@@ -2155,6 +2155,7 @@ void
 a_writechars(const attrib * a, FILE * f)
 {
   int i;
+  
   for (i=0;i!=4;++i) {
     int c = a->data.ca[i];
     fprintf(f, "%d ", c);