Just for the record: After some discussion on IRC, I've fixed the problem in a different way, the trailing zeroes remain for security reasons, because some parts of the lexer are not perfectly robust, and might read over the end of the array otherwise.