Small fix to manual formatting