// Oliver deleted this, as it was causing errors and did not seem to be necessary for normal operation.