Fix up manual