Deleting little pseudocode rubbish