bugfix to reflect latest julia version