this code does not do what this comment claims it does.