#11 minor fixes.