Apply patch from agios (pull #22)