fixing weird, old formatting with a weird, old tip