supplement some properties