Fixed names for WAILA