Little arrangements for #137