Small trivial clean-ups, February 2021