Additional minor differences between GitHub and the production code, bringing them inline with each other