Minor aesthetic change.