trivial fix for better comment