Fixing the HPMPC interface