patmos: fix missing comma