minor simplification :)