Revert "small modifications"

This reverts commit bc3159d68d14cc350e1d5193f1e8d9b8aa3304dc.