Extra stuff in docs