manual: Tiny fix