small bug fixes

indentation errors, etc.