Documentation changes
Small modifications to keep Eclipse happy