Pedantic fixes.