Try to reproduce #18 with master; not yet succeeding