a few small details in response to PR review of RTL WIP