Bug fix. Undoing a commit with an unhelpful comment, so don't know what it was supposed to do.