Example for bug #7