bug fix in ArrowButton, 'up' and 'down' arrow shapes were computed incorrectly