more refinments to round out the extension

these are small changes, listed below