made some tiny improvements