Removed wrong references to example42