Minor update to the core documentation