It was used in the previous commit, so I re-added it