Just minor bug fixes.