Minor updates for #10