Remove superfluous syntax
Refactor: Introduce zippers