Update Leprechaun.h