small post-fixes