Bug "Instance of" not named correctly