minor fix in PS1