minor cleanup for #134