It might also just be an useless call to `synchronized`