minor cleanup #71

Closed mlaikhram closed 1 month ago