Formatting fix. *STABLE*