One of his commits says that it was intentional