maybe fix #526
teeny thing