Just an example to reproduce issue 145