minor readability adjustments