tidy up from dd36e4421b6432936096453d7213231e7a70c257