FMI: The previous problem was not really fixed; Now it is