Formatting modification and Allister test