Removed dead code. It should have been  but it's not actually needed anyway...