Tiny fix for --extra