Minor change: Not sure how this change got left out.