Notes on resolution of #52.