Minor commit; no functionality changed