Fix a small bug making Granite not build