Small change to fix formatting