diff --git a/README.md b/README.md
index ffa1366..16c5d93 100644
--- a/README.md
+++ b/README.md
@@ -71,7 +71,7 @@ To compile the kernel and build a filesystem image, run:
 $ make
 ```
 
-A resulting root filesystem image is in file `sdcard.rd`.
+A resulting root filesystem image is in file `sdcard.img`.
 A kernel is in file `unix.hex` in your target board subdirectory.
 
 
@@ -82,7 +82,7 @@ Win32DiskImager utility (https://launchpad.net/win32-image-writer/+download).
 On Linux, run:
 
 ```shell
-$ sudo dd if=sdcard.rd of=/dev/XYZ
+$ sudo dd if=sdcard.img of=/dev/XYZ
 ```
 
 Here `XYZ` is a device name of SD card, as recognized by Linux (sdb in my case).
diff --git a/src/cmd/smlrc/smlrc.c b/src/cmd/smlrc/smlrc.c
index 5253b2c..a62e0b1 100644
--- a/src/cmd/smlrc/smlrc.c
+++ b/src/cmd/smlrc/smlrc.c
@@ -8154,4 +8154,3 @@ int main(int argc, char** argv)
 
   return 0;
 }
-