Test: Add a simplified bug file for #115.