Accidentally lost a comment in a previous commit