Fixing small typo in the documentation of rofl-hal