Fixed style again. Don't mention a concrete version in the header.