Small tidying of Russell's code