Temporary workaround for a stackoverflow problem.