minor fix from 0130