RUNTIME: minor optimization