Is this an extra `end`?