Fix typo in GDK Specification Documentation