Trying to reproduce #584