minor formatting. Dont need to escape % in listings