Correct check for definition of aloha