debugging the rgkmax problem