Extensions for Haven