a few minor cleanups just to check if our Continuous Integration notices