Just for robustness and clarity. Some people like to be explicit.