Minor bug fix for DeviceOrientationControls.js [1]