Fix some inline documentation related to @ce8b8cb