Minor beauty fix.