only small details, hopefully fixing the build