diff --git a/TODO b/TODO
index ef203f1..02a27cf 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,9 @@
+gint 2.8 image things:
+* Margins around the VRAM, and around XYRAM fragments
+* Design the new image formats, inspired from libimg
+* Replace the [profile] attribute with [format]
+* Single VRAM
+
 Extensions on existing code:
 * usb:       add PC->calc reading, and interrupt pipes
 * fs:        support RAM files
@@ -19,5 +25,4 @@ Future directions:
 * Audio playback using TSWilliamson's libsnd method
 * Serial communication
 * Make fx9860g projects work out of the box on fxcg50
-* Use the DSP to enhance parallel computation
 * Base for Yatis' threads library
diff --git a/include/gint/defs/types.h b/include/gint/defs/types.h
index 56eb7b4..1c37a24 100644
--- a/include/gint/defs/types.h
+++ b/include/gint/defs/types.h
@@ -15,6 +15,8 @@
 #include <stdbool.h>
 /* Common system types: ssize_t, off_t, etc. */
 #include <sys/types.h>
+/* For va_list */
+#include <stdarg.h>
 
 /* Fixed-width types for bit fields are quite meaningless */
 typedef unsigned int uint;
diff --git a/include/gint/usb-ff-bulk.h b/include/gint/usb-ff-bulk.h
index 6b3fa6e..6aa614b 100644
--- a/include/gint/usb-ff-bulk.h
+++ b/include/gint/usb-ff-bulk.h
@@ -55,7 +55,7 @@ int usb_ff_bulk_output(void);
 
 /* usb_fxlink_header_t: Message header for fxlink
 
-   fxlink supports a minimalistic protocol to receive data sent from the
+   fxlink supports a minimalist protocol to receive data sent from the
    calculator and automatically process it (such as save it to file, convert
    to an image, etc). It is designed as a convenience feature, and it can be
    extended with custom types rather easily.
diff --git a/include/gint/usb.h b/include/gint/usb.h
index bb7f798..a9fa12d 100644
--- a/include/gint/usb.h
+++ b/include/gint/usb.h
@@ -40,7 +40,7 @@ enum {
 
 	/* This pipe is busy (returned by usb_write_async()) */
 	USB_WRITE_BUSY,
-	/* Both FIFO controlles are busy, none is available to transfer */
+	/* Both FIFO controllers are busy, none is available to transfer */
 	USB_WRITE_NOFIFO,
 
 	/* This pipe is busy (returned by usb_commit_async()) */