Small optimization in BufferedIO#flush
More alias specs and fixes