minor edits

this fixes some formatting and a bug