Minor change related to last bug fix.