extra doc for RAII