tiny fixes for public release