More minor fix.