minor issues

unrelated but probably not worth of independent branches and pull requests anyway