minor fix, ran out of time to work on css