Minor comment: maybe a useless line here...