Fix that weird alignment in the code example