Adding `synchronized` fixes a bug.