Tiny clean-up: <https://github.com/OpenHands/softw...