Tiny fix to minilasevo driver