minor clarifications and a few aliases