Fixing port declarations (thanks Verilator!)