Bugfixing

Another problem of redundancy