Formatting

Also remove duplicate `ignore` entry in properties.