documents.js: Use decimal instead of octal literal

The latter are deprecated and cause gjs to spew.