As you say, the block size could be larger, which data structure do you think of? Based on the specs it must be a transaction, and if it doesnt fit the rules on the page mentioned (see rules for blocks and the rules for tx), then there would be invalid data of a supposed transaction, making the block invalid...