Fix formatting. Bump version to 13.
Fix comment