A minor fix in formatting