See above note about `/ 2`