How are corporate income taxes paid during the year?