Yet another bit of revision