Example for bug #45