[PATCH] a couple of quick edits