Don't forget to regenerate the manual