Possible bug in prt-get