Add missing pre tag in documentation