This and the following lines seem like an accidental addition