We fixed this problem. Please see this commit for more details