diff --git a/src/source/build-numbers.md b/src/source/build-numbers.md
index cff13e1..d41700d 100644
--- a/src/source/build-numbers.md
+++ b/src/source/build-numbers.md
@@ -126,7 +126,7 @@
 JRO03R | android-4.1.1_r6   | Nexus S 4G
 JRO03S | android-4.1.1_r6.1 | Nexus 7
 JZO54K | android-4.1.2_r1   | Nexus S, Galaxy Nexus, Nexus 7
-JOP40  | android-4.2_r1     | latest Jelly Bean version, Galaxy Nexus, Nexus 7, Nexys 4, Nexus 10
+JOP40C | android-4.2_r1     | latest Jelly Bean version, Galaxy Nexus, Nexus 7, Nexys 4, Nexus 10
 
 The branches froyo, gingerbread, ics-mr0, ics-mr1, jb-dev,
 jb-mr1-dev,
diff --git a/src/source/building-devices.md b/src/source/building-devices.md
index 44f01b2..25b5c9c 100644
--- a/src/source/building-devices.md
+++ b/src/source/building-devices.md
@@ -24,9 +24,8 @@
 The exact level of functionality for each device depends on the availability
 of the relevant proprietary hardware-specific binaries.
 
-All configurations of Nexus 10 can be used, and on those
-devices all the peripherals are functional: graphics, audio, Wi-Fi, Bluetooth,
-sensors, cameras, hardware codecs, NFC, GPS.
+All configurations of Nexus 10 can be used. On those devices, graphics, audio,
+Wi-Fi, Bluetooth, camera, NFC, GPS and orientation sensors are functional.
 
 Nexus 4 cannot be used at the moment.