fix markup of p534