fixed short names for parameterized atoms