Argh, deleted the wrong part. Related to #10.