An example of the problem described in #379