Very trivial edits

Still feels like an incomplete, possibly unnecessary, fragment