can we avoid hardcoding `05` here? this is LaTeX after all...