gmtk: cosmetics fixed