whoops, maybe it wasn't superfluous!