added file to reproduce #28