trivial fix for a TODO