Tagging a trivial fix.